Abstract data types

Results: 538



#Item
261Concurrent computing / Queue / Double-ended queue / FIFO / Linked list / Abstraction / Priority queue / Abstract data types / Computing / Stack

PDF Document

Add to Reading List

Source URL: www.aaroncox.net

Language: English - Date: 2005-09-25 02:22:34
262Abstract data types / Data types / Sorting algorithms / Linked list / List / Lookup table / Binary search algorithm / Merge sort / Stack / Computing / Computer programming / Mathematics

PDF Document

Add to Reading List

Source URL: infolab.stanford.edu

Language: English - Date: 2011-04-06 20:34:28
263Abstract data types / Cybernetics / FIFO / Inter-process communication / Universal asynchronous receiver/transmitter / Computer programming / Container / Fly-in fly-out / Computing / Scheduling algorithms / Concurrent computing

1 Satisfaction with a fly-in/fly-out (FIFO) lifestyle: Is it related to rosters, children and support resources utilised by Australian employees and partners and does it impact on relationship quality and stress?

Add to Reading List

Source URL: researchrepository.murdoch.edu.au

Language: English - Date: 2012-11-05 00:24:55
264Logic / Data types / Predicate logic / Formal methods / Type system / Abstract data type / Stack / Function / Dependent type / Mathematics / Type theory / Mathematical logic

PVS Language Reference Version 2.4 • November 2001 S. Owre N. Shankar J. M. Rushby

Add to Reading List

Source URL: pvs.csl.sri.com

Language: English - Date: 2006-11-30 07:15:58
265Data types / Primitive types / Memory management / C++ / Static program analysis / Pointer / C / Data-flow analysis / Abstract interpretation / Computing / Software engineering / Computer programming

Precise and Efficient Static Array Bound Checking for Large Embedded C Programs Arnaud Venet Guillaume Brat

Add to Reading List

Source URL: www.kestreltechnology.com

Language: English - Date: 2006-07-12 15:17:58
266Mathematics / Abstract data types / Abstract algebra / Linear algebra / Data types / Sequence container / Associative containers / Cursor / Container / Algebra / Computing / C++ Standard Library

1 Rationale for Ada 2005: 6a Containers John Barnes John Barnes Informatics, 11 Albert Road, Caversham, Reading RG4 7AN, UK; Tel: +[removed]; email: [removed]

Add to Reading List

Source URL: www.adacore.com

Language: English - Date: 2011-12-15 14:00:13
267Memory management / Cross-platform software / Compiler construction / Programming language implementation / Data types / Garbage collection / Escape analysis / Java / Static single assignment form / Computing / Software engineering / Computer programming

Compiler-Cooperative Memory Management in Java (Extended Abstract) Vitaly V. Mikheev, Stanislav A. Fedoseev A.P. Ershov Institute of Informatics Systems, Excelsior, LLC

Add to Reading List

Source URL: www.excelsior-usa.com

Language: English - Date: 2002-03-04 14:06:32
268Queue / Abstract data types / Roundabout / Utility cycling

Appendix K SIDRA Summary New Acland Coal Mine Stage 3 Project AEIS SIDRA summary results

Add to Reading List

Source URL: www.aclandproject.com.au

Language: English - Date: 2014-08-31 18:30:21
269Binary heap / Priority queues / Mathematics / Computer science / Theoretical computer science / Routing algorithms / Abstract data types / Fibonacci heap / Heap

Introduction COMS21103 Priority queues and Dijkstra’s algorithm Ashley Montanaro

Add to Reading List

Source URL: www.cs.bris.ac.uk

Language: English - Date: 2014-01-08 09:09:07
270Container / Software engineering / Computing / Computer science / Abstract data types / Stack / Containerization

Customer User Guide VBS Stack Run

Add to Reading List

Source URL: www.1-stop.biz

Language: English - Date: 2011-10-31 02:01:15
UPDATE